bitkeeper revision 1.1159.1.228 (416ca213W0jQ7WsVdoY9rz0gGRV6Nw)

a little temporary debugging output for the time bug

diff --git a/linux-2.6.8.1-xen-sparse/arch/xen/i386/kernel/time.c b/linux-2.6.8.1-xen-sparse/arch/xen/i386/kernel/time.c
index a57de375bc02073dec3ccf5ee5baca4ccc7c4762..9b5c862892d4f30228e33b5a5c9dd61d9cdf9b59 100644 (file)
--- a/linux-2.6.8.1-xen-sparse/arch/xen/i386/kernel/time.c
+++ b/linux-2.6.8.1-xen-sparse/arch/xen/i386/kernel/time.c
@@ -376,7 +376,10 @@ static inline void do_timer_interrupt(int irq, void *dev_id,
        if (delta < 0) {
                if (!TIME_VALUES_UP_TO_DATE)
                        goto retry;
-               printk("Timer ISR: Time went backwards: %lld\n", delta);
+               printk("Timer ISR: Time went backwards: %lld %lld %ld %lld\n",
+                      delta, shadow_system_time,
+                      (cur_timer->get_offset() * NSEC_PER_USEC), 
+                      processed_system_time);
                return;
        }